Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
391	The Semantics of Untrustworthiness Giuseppe Primiero & Laszlo Kosolosky Centre for Logic and Philosophy of Science Ghent University, Belgium Abstract We offer a formal treatment of the semantics of both complete and Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-04-26 09:39:32 Information Philosophical logic Mathematical logic Model theory Communication Modal logic Finitary relation Code Interpretation Logic Data transmission Science
392	A Type System for Expressive Security Policies∗ David Walker Cornell University abstraction preservation (programs use abstract data types only as their interfaces allow). These properties Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-16 16:28:29 Mathematics Logic First-order logic Interpretation Symbol Functional predicate Type safety Function Nondeterministic finite automaton Mathematical logic Automata theory Model theory
393	A Type System for Expressive Security Policies∗ David Walker Cornell University Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-06-07 14:58:01 Logic Mathematics Semantics Models of computation Formal languages First-order logic Type safety Predicate Functional predicate Automata theory Model theory Mathematical logic
394	JAROSLAV PEREGRIN INTERPRETING FORMAL LOGIC* ABSTRACT. The concept of semantic interpretation is a source of chronic confusion: the introduction of a notion of interpretation can be the result of several quite different Add to Reading List Source URL: jarda.peregrin.cz Language: English - Date: 2005-02-22 12:43:03 Philosophy of language Model theory Logical truth Interpretation First-order logic Truth Logical constant Propositional calculus Logical connective Logic Philosophical logic Logical syntax
395	A Cerebral Cortex Model that Self-Organizes Conditional Probability Tables and Executes Belief Propagation Yuuji ICHISUGI Abstract—This paper describes a neural network model of cerebral cortex, BESOM model, that acqui Add to Reading List Source URL: staff.aist.go.jp Language: English - Date: 2007-08-19 23:02:56 Statistical models Probability and statistics Probability theory Networks Belief propagation Bayesian network Self-organizing map Connectivity Statistics Graphical models Bayesian statistics
396	Spurious Disambiguation Error Detection Claudio Sacerdoti Coen and Stefano Zacchiroli Department of Computer Science, University of Bologna [removed], [removed] Abstract. The disambiguation appro Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2007-10-20 06:44:53 Interpretation Philosophy of language Philosophy of mind Semantics Symbol Structure Linguistics Golden ratio base Linear temporal logic Model theory Mathematics Logic
397	John F. Sowa Conceptual Graphs for a Data Base Interface Abstract: A data base system that supports natural language queries is not really natural if it requires the user to know how the data are represented. This paper Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2009-09-07 13:43:35 Knowledge representation Line graph Graph Conceptual model Abstraction Diagrammatic reasoning Existential graph Graph theory Diagrams Conceptual graph
398	Visualizing and Testing the Multivariate Linear Regression Model Hasthika S. Rupasinghe Arachchige Don & Lasanthi C. R. Pelawa Watagoda Abstract Recent results make the multivariate linear regression model much easier to Add to Reading List Source URL: www.stat.wmich.edu Language: English - Date: 2015-03-04 10:49:38 Statistical methods Estimation theory Linear regression Multivariate normal distribution Multivariate analysis of variance Statistics Econometrics Regression analysis
399	HF SChEMe: A Skywave Channel Error Model Eric E. Johnson New Mexico State University Las Cruces, NM [removed] Abstract Add to Reading List Source URL: tracebase.nmsu.edu Language: English - Date: 2011-01-15 18:54:56 Electronics Information theory Network performance Markov models Automatic link establishment Channel Burst error Bit error rate Modem Electronic engineering Telecommunications engineering Data transmission
400	ABSTRACT The evolvement of consumer healthy lifestyle certainly creates new opportunities and at the same time posing marketing challenges to marketers in the health-related industries. A good understanding of the shift Add to Reading List Source URL: dspace.fsktm.um.edu.my Language: English - Date: 2010-02-17 22:07:58 Behavioural sciences Theory of planned behavior Theory of reasoned action Personality psychology Transtheoretical model Attitude Conscientiousness Motivation Health belief model Behavior Mind Ethology

UPDATE